Extending the Object-Orientedness of Ada 95
نویسنده
چکیده
In the object-oriented extension of Ada 95 some constructs and connected type rules have been introduced that restrict the flexibility in using the whole set of features the object-oriented paradigm provides. Especially the introduction of tagged types leads to a loss of potential reuse if efficiency is of concern while the rules connected with dispatching disable full static type checking for subprogram calls. A closer investigation of these constructs and constraints reveals that some of them are completely unnecessary and some could be relaxed with minor changes of the language. With corresponding modifications, the language gains additional flexibility and becomes easier to use, while, through the introduction of multi-methods, the language regains the property of being statically type-safe. keywords: object-oriented languages, flexible type concepts, tagged types, polymorphism, dispatching, multi-methods, Ada 95, language evaluation
منابع مشابه
Object-Oriented Programming and Protected Objects in Ada 95
Integrating concurrent and object-oriented programming has been an active research topic since the late 1980s. The majority of approaches have taken a sequential object-oriented language and made it concurrent. A few approaches have taken a concurrent language and made it object-oriented. The most important of this latter class is the Ada 95 language which is an extension to the object-based co...
متن کاملTesting Ada 95 Object-Oriented Programs
We show some of the specific problems for testing software introduced by the object-oriented features of Ada 95, and focus on specificationbased testing, since this strategy is the key strategy for testing object-oriented software. We present a theory for testing software by refinement of an exhaustive test set into a finite test set using three reduction hypothesis. We also show how the Oracle...
متن کاملTeaching Object-Oriented Programming in Ada
This paper reports on experience teaching object-oriented programming in Ada, with emphasis on constructs that support full OOP in Ada 95. In Ada 95 this support is achieved through the integration of individual language constructs, rather than through a single syntactic entity. These constructs are easy to understand and teach, but the instructor must ensure that students comprehend that objec...
متن کاملUsing Object-Oriented Methods in Ada 95 to Implement Linda
This paper describes an implementation of Linda for Ada 95. The new capabilities of object oriented programming and programming by extension are used to define an elegant, type safe and easy to use interface to Linda. The implementation provides more of the functionality of Linda than Ada-Linda for Ada 83. A short presentation of the Linda model and a programming example are also included.
متن کاملToward Protected Tagged Types in Ada 95
Inheriting code which includes concurrent constructs causes a set of problems , collectively known as inheritance anomaly. This is why protected tagged types do not exist in Ada 95. Anyway, code can be written in Ada 95 which allows to safely reuse and extend the state and code encapsulated in a protected type. On the other hand, extending by adding new operations is more diicult, due to the in...
متن کامل